A discussion of a number of ways that information can be present in a computer program without being explicitly represented.

We can see mereology as a theory of parthood and topology as a theory of wholeness. How can these be combined to obtain a unified theory of parts and wholes? This paper examines various non-equivalent ways of pursuing this task, with specific reference to its relevance to spatio-temporal reasoning. In particular, three main strategies are compared: (i) mereology and topology as two independent (though mutually related) chapters; (ii) mereology as a general theory subsuming topology; (iii) topology as a general theory (...) subsuming mereology. Some more speculative strategies and directions for further research are also considered. (shrink)

We discuss at some length evidence from the cognitive science suggesting that the representations of objects based on spatiotemporal information and featural information retrieved bottomup from a visual scene precede representations of objects that include conceptual information. We argue that a distinction can be drawn between representations with conceptual and nonconceptual content. The distinction is based on perceptual mechanisms that retrieve information in conceptually unmediated ways. The representational contents of the states induced by these mechanisms that are available to a (...) type of awareness called phenomenal awareness constitute the phenomenal content of experience. The phenomenal content of perception contains the existence of objects as separate things that persist in time and time, spatiotemporal information, and information regarding relative spatial relations, motion, surface properties, shape, size, orientation, color, and their functional properties. (shrink)

There are conflicting intuitions concerning the status of a boundary separating two adjacent entities (or two parts of the same entity). The boundary cannot belong to both things, for adjacency excludes overlap; and it cannot belong to neither, for nothing lies between two adjacent things. Yet how can the dilemma be avoided without assigning the boundary to one thing or the other at random? Some philosophers regard this as a reductio of the very notion of a boundary, which should accordingly (...) be treated a mere façon de parler. In this paper I resist this temptation and examine some ways of taking the puzzle at face value within a realist perspective—treating boundaries as ontologically on a par with (albeit parasitic upon) extended parts. (shrink)

Some have argued that the vagueness exhibited by geographic names and descriptions such as ‘Albuquerque’, ‘the Outback’, or ‘Mount Everest’ is ultimately ontological: these terms are vague because they refer to vague objects, objects with fuzzy boundaries. I take the opposite stand and hold the view that geographic vagueness is exclusively semantic, or conceptual at large. There is no such thing as a vague mountain. Rather, there are many things where we conceive a mountain to be, each with its precise (...) boundary, and when we say ‘Everest’ we are just being vague as to which thing we are referring to. This paper defends this view against some plausible objections. (shrink)

In previous work I have argued that talk about negative events should not be taken at face value: typically, what we are inclined to think of as a negative event (John’s failure to go jogging) is just an ordinary, positive event (his going to the movie instead); it is a positive event under a negative description. Here I consider more closely the difficulties that arise in those cases where no positive event seems available to do the job, as with putative (...) cases of causation by omission. In particular, I elaborate on Helen Beebee’s idea that not all causal explanations are reports of causation. When we mention John’s failure to turn off the gas as an explanans of why there was an explosion, we do not say what caused the explosion. We do not mention any of the relevant causes. We just remark that one sort of event that was supposed to occur, and whose occurrence would have prevented the explosion, did not in fact occur. (shrink)

That parthood is a transitive relation is among the most basic principles of classical mereology. Alas, it is also very controversial. In a recent paper, Ingvar Johansson has put forward a novel diagnosis of the problem, along with a corresponding solution. The diagnosis is on the right track, I argue, but the solution is misleading. And once the pieces are properly put together, we end up with a reinforcement of the standard defense of transitivity on behalf of classical mereology.

Are there any bona fide boundaries, i.e., boundaries that carve at the joints? Or is any boundary —hence any object—the result of a fiat articulation reflecting our cognitive biases and our so-cial practices and conventions? Does the choice between these two options amount to a choice between realism and wholesome relativism?

Cognitive agents, whether human or computer, that engage in natural-language discourse and that have beliefs about the beliefs of other cognitive agents must be able to represent objects the way they believe them to be and the way they believe others believe them to be. They must be able to represent other cognitive agents both as objects of beliefs and as agents of beliefs. They must be able to represent their own beliefs, and they must be able to represent beliefs (...) as objects of beliefs. These requirements raise questions about the number of tokens of the belief representation language needed to represent believers and propositions in their normal roles and in their roles as objects of beliefs. In this paper, we explicate the relations among nodes, mental tokens, concepts, actual objects, concepts in the belief spaces of an agent and the agent's model of other agents, concepts of other cognitive agents, and propositions. We extend, deepen, and clarify our theory of intensional knowledge representation for natural-language processing, as presented in previous papers and in light of objections raised by others. The essential claim is that tokens in a knowledge-representation system represent only intensions and not extensions. We are pursuing this investigation by building CASSIE, a computer model of a cognitive agent and, to the extent she works, a cognitive agent herself. CASSIE's mind is implemented in the SNePS knowledge-representation and reasoning system. (shrink)

A lot of work in metaphysics relies on linguistic analysis and intuitions. Do we want to know what sort of things there are or could be? Then let’s see what sort of things there must be in order for what we truthfully say to be true. Do we want to see whether x is distinct from y? Then let’s see whether there is any statement that is true of x but not of y. And so on. In this paper I (...) argue that this way of proceeding is full of traps and is bound to be pretty useless unless we already have a good idea of what sort of things there are, and of how we are going to count them. (shrink)

Peter Simons has argued that the expression ‘the universe’ is not a genuine singular term: it can name neither a single, completely encompassing individual, nor a collection of individuals. (It is, rather, a semantically plural term standing equally for every existing object.) I offer reasons for resisting Simons’s arguments on both scores.

This paper investigates the prospects of Rodney Brooks’ proposal for AI without representation. It turns out that the supposedly characteristic features of “new AI” (embodiment, situatedness, absence of reasoning, and absence of representation) are all present in conventional systems: “New AI” is just like old AI. Brooks proposal boils down to the architectural rejection of central control in intelligent agents—Which, however, turns out to be crucial. Some of more recent cognitive science suggests that we might do well to dispose of (...) the image of intelligent agents as central representation processors. If this paradigm shift is achieved, Brooks’ proposal for cognition without representation appears promising for full-blown intelligent agents—Though not for conscious agents. (shrink)

A critical review of the main themes arising out of recent literature on the semantics of ordinary event talk. The material is organized in four sections: (i) the nature of events, with emphasis on the opposition between events as particulars and events as universals; (ii) identity and indeterminacy, with emphasis on the unifier/multiplier controversy; (iii) events and logical form, with emphasis on Davidson’s treatment of the form of action sentences; (iv) linguistic applications, with emphasis on issues concerning aspectual phenomena, the (...) telicity/atelicity distinction, the treatment of statives, and temporal quantification. (shrink)

This is a revised and extended version of the formal theory of holes outlined in the Appendix to the book "Holes and Other Superficialities". The first part summarizes the basic framework (ontology, mereology, topology, morphology). The second part emphasizes its relevance to spatial reasoning and to the semantics of spatial prepositions in natural language. In particular, I discuss the semantics of ‘in’ and provide an account of such fallacious arguments as “There is a hole in the sheet. The sheet is (...) in the drawer. Ergo *there is a hole in the drawer”. (shrink)

According to a popular line of reasoning, diachronic vagueness creates a problem for the endurantist conception of persistence. Some authors have replied that this line of reasoning is inconclusive, since the endurantist can subscribe to a principle of Diachronic Unrestricted Composition (DUC) that is perfectly parallel to the principle required by the perdurantist’s semantic account. I object that the endurantist should better avoid DUC. And I argue that even DUC, if accepted, would fail to provide the endurantist with the necessary (...) resources for explaining diachronic vagueness in familiar semantic terms. (shrink)

The paper investigates the link between the theory of modal occurrents (where individuals are allowed to stretch across possible worlds) and Lewis’s counterpart theory (where all individuals are world-bound but have counterparts in other worlds). First I show how to interpret modal talk extensionally within the theory of modal occurrents. Then I show that the assumption that worlds be pairwise discrete is all that is needed to reconstruct the bulk of counterpart theory (i.e., to define the concept of a counterpart (...) and to derive the standard postulates governing that concept) in terms of the theory of modal occurrents. Finally, I argue that this reconstruction allows us to view the indeterminacy of our modal intuitions as being part and parcel with the indeterminacy of our criteria for individuating modal occurrents, and that this indeterminacy is naturally explained in terms of linguistic (as opposed to ontic) vagueness. (shrink)

A plausible thought about vagueness is that it involves semantic incompleteness. To say that a predicate is vague is to say (at the very least) that its extension is incompletely specified. Where there is incomplete specification of extension there is indeterminacy, an indeterminacy between various ways in which the specification of the predicate might be completed or sharpened. In this paper we show that this idea is bound to founder by presenting an argument to the effect that there are vague (...) predicates which cannot be sharpened in such a way as to meet certain basic constraints (of penumbral connection and public accessibility) that must be imposed on the very notion of a sharpening. (shrink)

Since its first appearance in 1966, the notion of a supervaluation has been regarded by many as a powerful tool for dealing with semantic gaps. Only recently, however, applications to semantic gluts have also been considered. In previous work I proposed a general framework exploiting the intrinsic gap/glut duality. Here I also examine an alternative account where gaps and gluts are treated on a par: although they reflect opposite situations, the semantic upshot is the same in both cases--the value of (...) some expressions is not uniquely defined. Other strategies for generalizing supervaluations are considered and some comparative facts are discussed. (shrink)

Many philosophers still countenance senses or meanings in the broadly Fregean vein. However, it is difficult to posit the existence of senses without positing quite a lot of them, including at least one presenting every entity in existence. I discuss a number of Cantorian paradoxes that seem to result from an overly large metaphysics of senses, and various possible solutions. Certain more deflationary and nontraditional understanding of senses, and to what extent they fare better in solving the problems, are also (...) discussed. In the end, it is concluded that one must divide senses into various ramified-orders in order to avoid antinomy, but that the philosophical justification of such orders is, as yet, still somewhat problematic. (shrink)

Berkeley, Hume, and Russell rejected the traditional analysis of substances in terms of qualities which are supported by an "unknowable substratum." To them the proper alternative seemed obvious. Eliminate the substratum in which qualities are alleged to inhere, leaving a bundle of coexisting qualities--a view that we may call the Bundle Theory or BT. But by rejecting only part of the traditional substratum theory instead of replacing it entirely, Bundle Theories perpetuate certain confusions which are found in the Substratum Doctrine. (...) I examine two major types of BT developed by Russell and by G. F. Stout with the intention of showing that (1) the seemingly innocuous concept of "a quality" employed by these versions cannot be used to state their theories coherently, and (2) the fatal problems that the BT encounters point to a more satisfactory and interesting alternative to both the Substratum Doctrine and the BT. This is a view that I call the Qualified Particulars Theory. In a final section I draw morals from this discussion that apply to the analogous Humean view that a mind is a "bundle of perceptions and sensations.". (shrink)

An important source of doubt about our knowledge of the "external world" is the thought that all of our sensory experience could be delusive without our realizing it. Such wholesale questioning of the deliverances of all forms of perception seems to leave no resources for successfully justifying our belief in the existence of an objective world beyond our subjective experiences. I argue that there is there is a fatal flaw in the very expression of philosophical doubt about the "external world." (...) Therefore, no such justification is necessary. The feature of skepticism which I believe renders it vulnerable is the assumption that each of us has a right to be certain of his own existence as a subject of conscious experience even in the face of comprehensive doubt about our empirical beliefs. (shrink)

There are two ways of understanding the notion of a contradiction: as a conjunction of a statement and its negation, or as a pair of statements one of which is the negation of the other. Correspondingly, there are two ways of understanding the Law of Non-Contradiction (LNC), i.e., the law that says that no contradictions can be true. In this paper I offer some arguments to the effect that on the first (collective) reading LNC is non-negotiable, but on the second (...) (distributive) reading it is perfectly plausible to suppose that LNC may, in some rather special and perhaps undesirable circumstances, fail to hold. (shrink)

Mereotopology is today regarded as a major tool for ontological analysis, and for many good reasons. There are, however, a number of open questions that call for an answer. Some are philosophical, others have direct applicative import, but all are crucial for a proper assessment of the strengths and limits of mereotopology. This paper is an attempt to put sum order in this area.

The semantics of our event talk is a complex affair. What is it that we are talking about when we speak of Brutus’s stabbing of Caesar? Exactly where and when did it take place? Was it the same event as the killing of Caesar? Some take questions such as these to be metaphysical questions. I think they are questions of semantics—questions about the way we talk and about what we mean. And I think that this conflict between metaphysic and semantic (...) concerns is indicative of a “deep indeterminacy” (Bennett’s phrase) in our event concept. We do talk about events; but what events a statement is about is not something that can be inferred from the event names we use; it depends heavily (more heavily than with ordinary material objects) on local context and unprincipled intuitions. This paper illustrates this view in connection with two examples: the phenomenon of vagueness and the dispute over identity statements. (shrink)

In 1903, in _The Principles of Mathematics_ (_PoM_), Russell endorsed an account of classes whereupon a class fundamentally is to be considered many things, and not one, and used this thesis to explicate his first version of a theory of types, adding that it formed the logical justification for the grammatical distinction between singular and plural. The view, however, was short-lived; rejected before _PoM_ even appeared in print. However, aside from mentions of a few misgivings, there is little evidence about (...) why he abandoned this view. In this paper, I speculate as to what those reasons were, and evaluate them in light of recent work and interest in plural logic. (shrink)

Ordinary reasoning about space—we argue—is first and foremost reasoning about things or events located in space. Accordingly, any theory concerned with the construction of a general model of our spatial competence must be grounded on a general account of the sort of entities that may enter into the scope of the theory. Moreover, on the methodological side the emphasis on spatial entities (as opposed to purely geometrical items such as points or regions) calls for a reexamination of the conceptual categories (...) required for this task. Building on material presented in an earlier paper, in this work we offer some examples of what this amounts to, of the difficulties involved, and of the main directions along which spatial theories should be developed so as to combine formal sophistication with some affinity with common sense. (shrink)

The theory according to which most ordinary objects are mere “entia successiva”—sequences of distinct mereological aggregates, whose unity resides exclusively in our minds—is a variant of the standard, three-dimensional conception of objects. For the aggregates are, at bottom, endurants, i.e., entities that persist through time by being fully present at any time at which they exist. In this paper I compare this theory with the so-called “stage view”, according to which ordinary objects—indeed, all objects—are sequences of momentary entities that cannot (...) truly be said to persist through time. Both theories face a number of intuitive difficulties but the stage view, I argue, has a lot more to offer in return. (shrink)

Many biologists and philosophers have worried that importing models of reasoning from the physical sciences obscures our understanding of reasoning in the life sciences. In this paper we discuss one example that partially validates this concern: part-whole reductive explanations. Biology and physics tend to incorporate different models of temporality in part-whole reductive explanations. This results from differential emphases on compositional and causal facets of reductive explanations, which have not been distinguished reliably in prior philosophical analyses. Keeping these two facets distinct (...) facilitates the identifi cation of two further aspects of reductive explanation: intrinsicality and fundamentality. Our account provides resources for discriminating between different types of reductive explanation and suggests a new approach to comprehending similarities and differences in the explanatory reasoning found in biology and physics. (shrink)

In previous work, I introduced a complete axiomatization of classical non-tautologies based essentially on Łukasiewicz’s rejection method. The present paper provides a new, Hilbert-type axiomatization (along with related systems to axiomatize classical contradictions, non-contradictions, contingencies and non-contingencies respectively). This new system is mathematically less elegant, but the format of the inferential rules and the structure of the completeness proof possess some intrinsic interest and suggests instructive comparisons with the logic of tautologies.

This paper continues a thread in Analysis begun by Adam Rieger and Nicholas Denyer. Rieger argued that Frege’s theory of thoughts violates Cantor’s theorem by postulating as many thoughts as concepts. Denyer countered that Rieger’s construction could not show that the thoughts generated are always distinct for distinct concepts. By focusing on universally quantified thoughts, rather than thoughts that attribute a concept to an individual, I give a different construction that avoids Denyer’s problem. I also note that this problem for (...) Frege’s philosophy was discovered by Bertrand Russell as early as 1902 and has been discussed intermittently since. (shrink)

I trace changes to Frege's understanding of numbers, arguing in particular that the view of arithmetic based in geometry developed at the end of his life (1924–1925) was not as radical a deviation from his views during the logicist period as some have suggested. Indeed, by looking at his earlier views regarding the connection between numbers and second-level concepts, his understanding of extensions of concepts, and the changes to his views, firstly, in between Grundlagen and Grundgesetze, and, later, after learning (...) of Russell's paradox, this position is a natural position for him to have retreated to, when properly understood. (shrink)

We propose the beginnings of a general theory of environments, of the parts or regions of space in which organisms live and move. We draw on two sources: on the one hand on recent work on the ontology of space; and on the other hand on work by ecological scientists on concepts such as territory, habitat, and niche. An environment is in first approximation a volume of space; it is a specific habitat, location, or site that is suitable or adequate (...) for given purposes (of foraging, resting, hunting, breeding, nesting, grooming) in the life of an organism or group of organisms. This spatial notion of environment can be drawn closer to biological and ecological science by taking account of the pertinent physical attributes realized within given spatial regions. (shrink)

It is shown that a complete axiomatization of classical non-tautologies can be obtained by taking F (falsehood) as the sole axiom along with the two inference rules: (i) if A is a substitution instance of B, then A |– B; and (ii) if A is obtained from B by replacement of equivalent sentences, then A |– B (counting as equivalent the pairs {T, ~F}, {F, F&F}, {F, F&T}, {F, T&F}, {T, T&T}). Since the set of tautologies is also specifiable by (...) purely syntactic means, the resulting picture gives an improved syntactic account of classical sentential logic. The picture can then be completed by considering related systems that prove adequate to specify the set of contradictions, the set of non-contradictions, and the set of contingencies respectively. (shrink)

This paper investigates the view that digital hypercomputing is a good reason for rejection or re-interpretation of the Church-Turing thesis. After suggestion that such re-interpretation is historically problematic and often involves attack on a straw man (the ‘maximality thesis’), it discusses proposals for digital hypercomputing with Zeno-machines , i.e. computing machines that compute an infinite number of computing steps in finite time, thus performing supertasks. It argues that effective computing with Zeno-machines falls into a dilemma: either they are specified such (...) that they do not have output states, or they are specified such that they do have output states, but involve contradiction. Repairs though non-effective methods or special rules for semi-decidable problems are sought, but not found. The paper concludes that hypercomputing supertasks are impossible in the actual world and thus no reason for rejection of the Church-Turing thesis in its traditional interpretation. (shrink)

It would be an understatement to say that Russell was interested in Cantorian diagonal paradoxes. His discovery of the various versions of Russell’s paradox—the classes version, the predicates version, the propositional functions version—had a lasting effect on his views in philosophical logic. Similar Cantorian paradoxes regarding propositions—such as that discussed in §500 of The Principles of Mathematics—were surely among the reasons Russell eventually abandoned his ontology of propositions.1 However, Russell’s reasons for abandoning what he called “denoting concepts”, and his rejection (...) of similar “semantic dualisms” such as Frege’s theory of sense and reference—at least in “On Denoting”—made no explicit mention of any Cantorian paradox. My aim in this paper is to argue that such paradoxes do pose a problem for certain theories such as Frege’s, and early Russell’s, about how definite descriptions are meaningful. My first aim is simply to lay out the problem I have in mind. Next, I shall turn to arguing that the theories of descriptions endorsed by Frege and by Russell prior to “On Denoting” are susceptible to the problem. Finally, I explore what responses a.. (shrink)

In ‘Towards a Solution to the Sorites Paradox’, Graham Priest gives us a new account of the sorites based on fuzzy logic. The novelty lies in the suggestion that truth-value assignments should themselves be treated as fuzzy objects, i.e., objects about which we can make fuzzy identity statements. I argue that Priest’s solution does not have the explanatory force that Priest advocates. That is, it does not explain why we find the existence of a cut-off point counter-intuitive. I also argue (...) that this sort of explanation calls for a general theory that goes beyond the special case of linguistic vagueness, for the phenomenon is at bottom not linguistic. (shrink)

The way we farm, the kinds of backyards and landscapes we favor, and the way we control patterns of development are creating an invisible crisis through their affects upon soil ecology. The invisibility of soil ecosystems, the seemingly alien properties of the organisms that inhabit them, and the specialized knowledge required to understand them create obstacles to moral concern for these fountains of life. Our treatment of soils has reached the point of crisis. Obstacles to moral thinking about soils might (...) be overcome by supplying the moral imagination with a deeper understanding of our own biological identity as ecosystems analogous in organization and functions to soil ecosystems. Not only have microbes created the conditions necessary for human life, but they have shaped our evolutionary history and helped constitute the human genome. Our biological identity encompasses communities of microbes, such that humans (and all organisms) are most properly understood as ecosystems. For this reason, moral concern for humans implies moral concern for ecosystems. (shrink)

Much mischief concerning the concept of a human body is generated by the failure of philosophers to distinguish various important senses of the term 'body.' I discuss three of those senses and illustrate the issues they can generate by discussing the concept of a Lockean exchange of bodies as well as the brain-body switch.

This is an informal presentation of the theory of niches understood as ecological contexts. The first part sets out the basic conceptual background. The second part outlines the main principles of the theory and addresses the question of how the theory can be extended to aid our thinking in relation to the special types of causal integrity that characterize niches and niched entities.

This paper focuses on the semantics of statements of the form ‘x is P at t’ vis-à-vis its metaphysical underpinnings. I begin by considering four main readings, corresponding to the four basic parsings of the temporal modifier ‘at t’: (1) at-t x is P, (2) x-at-t is P, (3) x is-at-t P, and (4) x is P-at-t. Each of these readings—which correspond to different metaphysical conceptions of the nature of temporal change—is found inadequate or otherwise problematic. In the second part (...) of the paper I therefore consider a fifth account whose advantages over (1)–(4), I argue, exceed its revisionary costs. This fifth account is based on a conception of objects as entia successiva held together by a nexus of temporal counterparthood and reads ‘x is P at t’ as ‘the t-counterpart of x is P’. (shrink)

My aim in this paper is to draw Plotinus and Derrida together in a comparison of their respective appropriations of the famous “receptacle” passage in Plato's Timaeus (specifically, Plotinus' discussion of intelligible matter in Enneads 2.4 and Derrida's essay on Timaeus entitled “Kh ō ra”). After setting the stage with a discussion of several instructive similarities between their general philosophical projects, I contend that Plotinus and Derrida take comparable approaches both to thinking the origin of the forms and to problematizing (...) the stability of the sensible/intelligible opposition. With these parallels in focus, I go on to explain how examining such points of contact can help us to dismantle the canonical constructs of “Plotinus the metaphysician” and “Derrida the anti-metaphysician” that have obscured important connections between Neoplatonism and deconstruction, and suppressed latent resources within the Platonic tradition itself for deconstructing the dualistic ontology of so-called “Platonic metaphysics.”. (shrink)

This paper is an attempt to argue that there existed a very prominent view of signs and signification in late sixteenth- and seventeenth-century Europe which can help us to understand several puzzling aspects of baroque culture. This view, called here "pansemioticism," constituted a fundamental part of the baroque conception of the world. After sketching the content and importance of pansemioticism, I will show how it can help us to understand the (from a modern perspective) rather puzzling concept of the polymath, (...) or polyhistor, which constituted the ideal of the baroque scientist. In this context I will also discuss a seventeenth century phenomenon essentially connected with polyhistorism, namely that of the early modem polyhistorical collections, the Wunderkamnmern. Since such a study needs a clearly determined focal point, we will concentrate on the last three quarters of the seventeenth century and will mainly discuss works by German authors of the time. (shrink)

An outline of the wealth of philosophical material that hides behind the flat world of geographic maps, with special reference to (i) the centrality of the boundary concept, (ii) the problem of vagueness, and (iii) the metaphysical question (if such there be) of the identity and persistence conditions of geographic entities. Serves as an introduction to the special issue of "Topoi" (20:2, 2001) on the Philosophy of Geography.

Suppose we get a chance to ask an angel a question of our choice. What should we ask to make the most of our unique opportunity? Ned Markosian has shown that the task is trickier than it might seem. Ted Sider has suggested playing safe and asking: What is the true proposition (or one of the true propositions) that would be most beneficial for us to be told? Let's see whether we can do any better than that.

This work gives an extended presentation of the treatment of variable-binding operators adumbrated in [3:1993d]. Illustrative examples include elementary languages with quantifiers and lambda-equipped categorial languages. Some remarks are also offered to illustrate the philosophical import of the resulting picture. Particularly, a certain conception of logic emerges from the account: the view that logics are true theories in the model-theoretic sense, i.e. the result of selecting a certain class of models as the only “admissible” interpretation structures (for a given language).